Parallel execution of logic programs by load sharing
نویسندگان
چکیده
منابع مشابه
Parallel Bottom-up Evaluation of Datalog Progrm~ by Load Sharing Parallel Boitom·up Evaluanon of Datalog Programs by Load Sharing
We propose a method of parallelizing bottom-up-evaluation of logic programs. The method is distinguished by the fact that it is pUTe i.e., does not require interprocessor communication, or synchronization overhead. The method cannot be used to parallelize every logic progtam, but we syntactically characterize several classes of logic programs to which the method can be applied (e.g., the class ...
متن کاملSome Paradigms for Visualizing Parallel Execution of Logic Programs
This paper addresses the design of visual paradigms for observing the parallel execution of logic programs. First, an intuitive method is proposed for arriving at the design of a paradigm and its implementation as a tool for a given model of parallelism. This method is based on stepwise reñnement starting from the deñnition of basic notions such as events and observables and some precedence rel...
متن کاملMassively parallel execution of logic programs: A static approach
A static model for the parallel execution of logic programs on MIMD distributed memory systems is presented where a refutation is implemented through a process network returned by the compilation of the logic program. The model supports Restricted-AND, OR and stream parallelism and it is integrated with a set of static analyses to optimise the process network. Altogether, the processes interact...
متن کاملAn Architecture for Visualizing the Execution of Parallel Logic Programs
model of the representation with a series of roles (c.g.nodcs, links etc.) which the user has to instantiate with a series of generators. These are defined as clich6 patterns to look for in the trace history, each such cliche is said to be defined by the characteristic footprint it leaves behind in the trace when it occurs. Each trace footprint has a script associated with it, that is defined u...
متن کاملACE: And/Or-parallel Copying-based Execution of Logic Programs
In this paper we present a novel execution model for parallel implementation of logic programs which is capable of exploiting both independent and-parallelism and or-parallelism in an efficient way. This model extends the stack copying approach, which has been successfully applied in the Muse system to implement or-parallelism, by integrating it with proven techniques used to support independen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1997
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(96)00014-3